A Logical Framework for Program Analysis
نویسنده
چکیده
Using logics to express program properties, and deduction systems for proving properties of programs, gives a very elegant way of deening program analysis techniques. This paper addresses a shortcoming of previous work in the area by establishing a more general framework for such logics, as is commonly done for progam analysis using abstract interpretation. Moreover, there are natural extensions of this work which deal with polymorphic languages.
منابع مشابه
STRUCTURAL SYSTEM RELIABILITY-BASED OPTIMIZATION OF TRUSS STRUCTURES USING GENETIC ALGORITHM
Structural reliability theory allows structural engineers to take the random nature of structural parameters into account in the analysis and design of structures. The aim of this research is to develop a logical framework for system reliability analysis of truss structures and simultaneous size and geometry optimization of truss structures subjected to structural system reliability constraint....
متن کاملLogical Interpretation: Static Program Analysis Using Theorem Proving
This paper presents the foundations for using automated deduction technology in static program analysis. The central principle is the use of logical lattices – a class of lattices defined on logical formulas in a logical theory – in an abstract interpretation framework. Abstract interpretation over logical lattices, called logical interpretation, raises new challenges for theorem proving. We pr...
متن کاملThe educational function of Hosseiniyahs in promoting and perpetuating the Shiite lifestyle (Case study: Hosseiniyahs of Kashan)
Many philosophers believe that lifestyle is fundamentally dependent on worldview and ideology. Thus, the emergence of a culture in the social dimension occurs when people's lifestyles are in line with common thinking. Using the concept of guardianship along with Islamic monotheism, the Shiite school offers a practical program for all individual and social aspects of Shiites. In this program, re...
متن کاملA Type-based Framework for Program Analysis
In this paper we present a general framework for type-based analyses of functional programs. Our framework is a generalisation of our earlier work on strictness analysis and was inspired by Burn's logical framework. The framework is parameterised by a set of types to represent properties and interpretations for constants in the language. To construct a new analysis, the user needs only to suppl...
متن کاملA qualitative analysis on family physician's program to identify the causes as well as challenges of the failure of program accomplishment
Background: The Family Physician Program, one of the most important efforts of the Iran health system to establish a referral system, was developed and implemented in several provinces, but it faced challenges due to several reasons that prevented the program's progress. So This study was conducted to analyze the family physician program to identify the causes and challenges of the program fail...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1992